Extra tips

??=[arrows.tips] You can use the `break' feature described in section ??[basics.breaks] to add extra arrow tips. This is done by using special `standard tip' labels shown as $\ell$ in |$\drto$$\ell$ in figure ??[f.tips].

Figure: Standard tips.
\begin{figure*}\begin{displaymath}
\spreaddiagramrows{-1pc} \spreaddiagramcolum...
...pc>\Drop{}\restore
\\
\enddiagram
\end{displaymath}
??=[f.tips]
\end{figure*}

Tips with more than one component must be enclosed in ||, and tips can be rotated 180o by the || prefix or optionally by the factor |(| f|)|, -2$\lt$f≤2, to rotate it f×90o clockwise. Furthermore you can enclose any math in |$\squash$|...|| to make it of zero size and use it as a tip; || attempts to center it but sometimes you might have to `help' by adding spacing (, using | | and ||).

An arrow may have several breaks. They must, however, be given in the same order as they appear from the base to the target of the arrow as illustrated here:

\begin{displaymath}
\spreaddiagramcolumns{1pc}
\begin{tabular}{ll}
\vert\rto\ve...
...\rline\vert>{\rotate(.6)\tip} &{\Box}\enddiagram}
\end{tabular}\end{displaymath}

Notice how we use an extra |||<| break to shorten arrows to make space for `large' tails like hooks that have most of their ink on the wrong side.4

The above tips work with the basic arrow types |to| (as shown), |line|, |dashed|, and |dotted|, however, only || works with all arrows, , also with |double|. If you want an arrowhead on a |double| arrow then you must use ||:

\begin{displaymath}
\begin{tabular}{ll}
\vert\rdouble\vert\vert>\Tip\vert\quad
...
...\stop\vert>>\Tip\vert>\Tip &{\Box}\enddiagram}\\
\end{tabular}\end{displaymath}

The "v3" arrow command uses a much simpler scheme: it interprets arrow generic definitions, , |||–»| becomes []:@|–»[r].